-const { Clutter, Gio, Gtk, Shell } = imports.gi;
+const { Clutter, Gio, Shell } = imports.gi;
const Main = imports.ui.main;
const Scripting = imports.ui.scripting;
yield Scripting.waitLeisure();
Scripting.scriptEvent('desktopShown');
- Gtk.Settings.get_default().gtk_enable_animations = false;
+ let interfaceSettings = new Gio.Settings({
+ schema_id: 'org.gnome.desktop.interface'
+ });
+ interfaceSettings.set_boolean('enable-animations', false);
Scripting.scriptEvent('overviewShowStart');
Main.overview.show();
yield Scripting.sleep(1000);
- Gtk.Settings.get_default().gtk_enable_animations = true;
+ interfaceSettings.set_boolean('enable-animations', true);
}
let overviewShowStart;